I'm wondering whether we still need this set of optional dependencies given that they are also part of the dev dependency group. Further, shouldn't those be default dependencies since we can assume most people with non-trivial use cases will want to use the extensions in some form?

the idea was that it's likely only necessary for producers, not consumers, see here. I don't have strong opinions. but starting from extra felt safer.